How to Drive a B Machine
نویسندگان
چکیده
The B Method is a state based formal method that describes behaviour in terms of MACHINES whose states change under OPER ATIONS The process algebra CSP is an event based formalism that enables descriptions of patterns of system behaviour We present a com bination of the two views where a CSP process acts as a control executive and its events simply drive corresponding OPERATIONS We de ne con sistency between the two views in terms of existing semantic models We identify proof conditions which are strong enough to ensure consistency and thus guarantee safety and liveness properties
منابع مشابه
Practical Implementation of Scalar and Vector Control Methods on a Rotor Surface Type Permanent Magnent Synchronous Machine Drive/System Using a PC
In this paper, using a personal computer (PC), the practical implementation of scalar and vector control methods on a three–phase rotor surface- type permanent magnet synchronous machine drive is discussed. Based on the machine dynamic equations and the above control strategies, two block diagrams are presented first for closed-loop speed controlling of the machine drive/system. Then, the desig...
متن کاملPractical Implementation of Scalar and Vector Control Methods on a Rotor Surface Type Permanent Magnent Synchronous Machine Drive/System Using a PC
In this paper, using a personal computer (PC), the practical implementation of scalar and vector control methods on a three–phase rotor surface- type permanent magnet synchronous machine drive is discussed. Based on the machine dynamic equations and the above control strategies, two block diagrams are presented first for closed-loop speed controlling of the machine drive/system. Then, the desig...
متن کاملSpeed Control of A Three Phase Current Forced Synchronous Machine Drive Based on A Simple Method
In this paper, a new method is proposed for the speed control of a three-phase current forced synchronous machine drive. This metohd is based on the use of an approximate constant commutation safety margin angle in the output thyristor bridge of the drive system as well as on the compenastion of stator magnetization reaction. The commutation process in the output converter of the machine driv...
متن کاملSpeed Control of A Three Phase Current Forced Synchronous Machine Drive Based on A Simple Method
In this paper, a new method is proposed for the speed control of a three-phase current forced synchronous machine drive. This metohd is based on the use of an approximate constant commutation safety margin angle in the output thyristor bridge of the drive system as well as on the compenastion of stator magnetization reaction. The commutation process in the output converter of the machine driv...
متن کاملA Current-Based Output Feedback Sliding Mode Control for Speed Sensorless Induction Machine Drive Using Adaptive Sliding Mode Flux Observer
This paper presents a new adaptive Sliding-Mode flux observer for speed sensorless and rotor flux control of three-phase induction motor (IM) drives. The motor drive is supplied by a three-level space vector modulation (SVM) inverter. Considering the three-phase IM Equations in a stator stationary two axis reference frame, using the partial feedback linearization control and Sliding-Mode (SM) c...
متن کاملField Oriented Control of Dual Mechanical Port Machine for Hybrid Electric Vehicle
A dual mechanical port machine (DMPM) is used as an electrically variable transmission (EVT) in hybrid electric vehicle (HEV). In the conventional HEV, this machine is replaced by a planetary gearbox and two electric machines and makes this structure simpler. This paper presents field oriented control (FOC) for DMPM. For HEV application, drive efficiency and wide operating speed range are impor...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000